منابع مشابه
Embedding Circumscriptive Theories in General Disjunctive Programs
This paper presents a method of embedding circumscriptive theories in general disjunctive programs. In a general disjunctive program, negation as failure occurs not only in the body but in the head of a rule. In this setting, minimized predicates of a circumscriptive theory are speci ed using the negation in the body, while xed and varying predicates are expressed by the negation in the head. M...
متن کاملEmbedding Default Theories in Propositional Argumentation Systems
In this paper we present a transformation of propositional default theories into so-called propositional argumentation systems. This transformation allows to characterize all notions of Reiter’s default logic in the framework of argumentation systems. This means that computing extension, or determining if a given formula belongs to one extension or all extensions can be answered without leaving...
متن کاملEmbedding classical into quantum computation
We describe a simple formalism for generating classes of quantum circuits that are classically efficiently simulatable and show that the efficient simulation of Clifford circuits (Gottesman-Knill theorem) and of matchgate circuits (Valiant’s theorem) appear as two special cases. Viewing these simulatable classes as subsets of the space of all quantum computations, we may consider minimal extens...
متن کاملTheories of Quantum Gravity
Ju ly 20 0 8 je a n -f ra n co is P o d ev in on the very smallest scales—the voids in between the smallest known elementary particles—by quantum laws and possibly explain it in terms of some fundamental constituents. Superstring theory is often described as the leading candidate to fill this role, but it has not yet provided an answer to any of these pressing questions. Instead, following its ...
متن کاملHomotopy Quantum Field Theories
We define Homotopy quantum field theories (HQFT) as Topological quantum field theories (TQFT) for manifolds endowed with extra structure in the form of a map into some background space X. We also build the category of homotopy cobordisms HCobord(n, X) such that an HQFT is a functor from this category into a category of linear spaces. We then derive some very general properties of HCobord(n, X),...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Accounts of Chemical Research
سال: 2016
ISSN: 0001-4842,1520-4898
DOI: 10.1021/acs.accounts.6b00356